Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
91	BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Domain Theory for Concurrency Domain Theory for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 09:30:42
92	An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-05-25 23:05:38 Mathematical logic Model theory Abstract interpretation Semantics Interpretation Function Piecewise Denotational semantics Mathematics Functions and mappings Logic
93	Abbreviated tutorial exercises on the use of MAXMAGN to determine possible refinable models for a magnetic structure with known propagation vector. J.M. Perez-Mato1, S. V. Gallego1, L. Elcoro1, E. Tasci2, G. de la Flor1, Add to Reading List Source URL: www.cryst.ehu.es Language: English - Date: 2014-09-12 07:45:15 Magnetism Condensed matter physics Quantum phases Quantum field theory Magnetic structure Domain wall Spin Symmetry Bilbao Crystallographic Server Physics Electromagnetism Magnetic ordering
94	Richard Hirsch MAPS 35 Folding Sheets for a Modular Origami Dodecalendar Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2007-11-29 04:13:30 Computing Computer programming Programming language theory Caieiras Vilnius district municipality MetaPost PostScript Public domain software
95	Domain and Antidomain Semigroups Jules Desharnais1 , Peter Jipsen2 and Georg Struth3 1 2 Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2009-09-20 22:35:11 Semigroup theory Mathematics Semigroup Inverse element Monoid Inverse semigroup Transformation semigroup Near-semiring Semiring Abstract algebra Algebraic structures Algebra
96	ER-flow Application Description Template Name: TD UNI Type: workflow Application domain: Computational chemistry, quantum chemistry Add to Reading List Source URL: www.erflow.eu Language: English Time-dependent density functional theory Computing Chemistry UNICORE Disk formatting
97	Matteo M Galizzi, Marisa Miraldo, Charitini Stavropoulou In sickness but not in wealth: Field evidence on patients’ risk preferences in the financial and health domain Discussion paperDecember 2013 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2013-12-17 10:21:42 Ethics Knowledge Actuarial science Financial risk Decision theory Expected utility hypothesis Framing Choice modelling Utility Statistics Risk
98	MAP DESPECKLING OF SAR IMAGES BASED ON LOCAL PDF MODELING IN THE UNDECIMATED WAVELET DOMAIN Fabrizio Argenti, Tiziano Bianchi, and Luciano Alparone Dipartimento di Elettronica e Telecomunicazioni, University of Florence Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-21 14:39:47 Wavelet Daubechies wavelet Discrete wavelet transform Orthogonal wavelet Stationary wavelet transform Biorthogonal wavelet Estimation theory Normal distribution Wavelet packet decomposition Mathematical analysis Wavelets Mathematics
99	Domain Theory and Integral Calculus Abbas Edalat Imperial College London IPM, Tehran IPM, Isfahan Add to Reading List Source URL: math-cs.ir Language: English - Date: 2015-05-06 15:56:24 Riemann integral Lipschitz continuity Henri Lebesgue Lebesgue integration Continuous function Absolute continuity Commutative algebra Mathematical analysis Measure theory Integral
100	Domain Theory in Topical Form Steve Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-02-22 04:56:46 Mathematical logic Science Logic Domain theory Model theory Academia Mathematics Sheaf theory Topos

UPDATE